Software language - PDFSEARCH.IO - Document Search Engine

Software language
Results: 21611

#	Item
441	02157 Functional Programming - Sequences Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 17:31:17 Software engineering Computer programming Programming language theory Functional languages Lazy evaluation Functional programming Evaluation strategy Technical University of Denmark Haskell Closure Q
442	Hardening Software against Physical Attacks using Static Analysis Advisor(s): Mario Werner Institute for Applied Information Processing and Communications (IAIK) Graz University of Technology, Austria Add to Reading List Source URL: www.iaik.tugraz.at Language: English - Date: 2015-09-08 06:00:03 Software Programming language implementation Software testing Program analysis Quality assurance Software review Static program analysis Static Clang Institute for Applied Information Processing and Communications
443	Diploma work Title: A visual state notation language Project number: B37.02 Add to Reading List Source URL: static.sws.bfh.ch Language: English - Date: 2007-03-29 07:09:48 Computing Visual programming languages Diagrams Software engineering Dataflow programming Dataflow Data flow diagram Integrated development environment Software Flow diagram
444	GEOGRAPHIC INFORMATION PROCESSING USING A SQL-BASED QUERY LANGUAGE Kevin J. Ingram William W. Phillips Kork Systems, Inc. Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-30 00:26:37 GIS software Computing Spatial database Geographic information system Database Data model Web mapping Software Relational database Data Spatial ETL GIS file formats
445	Patterns for Implementing Grammar-oriented Object Design Ali Arsanjani, Senior Consulting I/T Architect IBM National eAD Center of Competency, Center for Architectural Excellence, Maharishi University of Management Add to Reading List Source URL: www.hillside.net Language: English - Date: 2004-02-16 17:18:52 Computing Software engineering Business Systems engineering Software architecture Enterprise modelling Object-oriented programming Domain-specific language Business process modeling Component-based software engineering Process modeling Software development
446	Fortran Program Specialization Paul Kleinrubatscher, Albert Kriegshaber, Robert Zöchling, Robert Glück1 University of Technology Vienna, Institut für Computersprachen, Argentinierstraße 8, A-1040 Vienna, Austria E-ma Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:44 Software engineering Computing Computer programming Procedural programming languages Programming languages Programming language implementation Control flow Compiler optimizations Fortran Partial evaluation Programming language Type system
447	Preventing memory error exploits with WIT Periklis Akritidis ∗ Cristian Cadar∗ Costin Raiciu∗ Manuel Costa Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Software engineering Computing Computer programming Data types Primitive types Software bugs Assembly languages Computer performance Pointer X86 assembly language Subroutine Buffer overflow protection
448	A Formal Model of Service-Oriented Dynamic Object Groups I Einar Broch Johnsena,∗, Olaf Owea , Dave Clarkeb , Joakim Bjørka a b Add to Reading List Source URL: einarj.at.ifi.uio.no Language: English - Date: 2015-01-21 15:14:28 Software engineering Computing Programming language theory Type theory Concurrent programming languages Program analysis Type system Go Sheaf Orbifold CurryHoward correspondence
449	Formalisation of Spatial Standards Silvia Nittel Data Mining Lab, Computer Science Dept. University of California, Los Angeles Stephan Winter Add to Reading List Source URL: silvianittel.files.wordpress.com Language: English - Date: 2016-07-10 13:03:08 Computing Technology Software engineering Product development Project management Standards organizations ISO standards Technical communication Geographic information system Specification Open Geospatial Consortium Modeling language
450	Advances in Abstract Categorial Grammars Language Theory and Linguistic Modeling Lecture 3 Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2010-06-08 00:59:21 Software engineering Formal languages Computer programming Declarative programming Datalog CYK algorithm Definite clause grammar Parsing Logic programming Prolog Parse tree Categorial grammar

UPDATE